<?php
$page='abc';
//方法一
// settype($page, 'int');
// 
// 
//方法二
// $page = intval($page);

//方法三
$page = (int)$page;
var_dump($page);